Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Art, Egyptian. --- Temples --- Tombs --- Art égyptien --- Tombeaux --- Egypt --- Egypte --- Antiquities --- Antiquités --- Obelisks --- Construction --- Design and construction --- Archaeology --- Art égyptien --- Antiquités --- Archaeology. --- Design and construction.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification.

Programming --- Parallel processing (Electronic computers) --- Parallelle verwerking (Computers) --- Traitement parallèle (Ordinateurs) --- Computer software --- Logiciels --- Parallélisme (Informatique) --- Verification --- Vérification --- Verification. --- Parallel processing (Electronic computers). --- Parallélisme (Informatique) --- Vérification --- Logic design. --- Software engineering. --- Computer network architectures. --- Computer Communication Networks. --- Computer science. --- Logics and Meanings of Programs. --- Software Engineering/Programming and Operating Systems. --- Computer System Implementation. --- Software Engineering. --- Computation by Abstract Devices. --- Informatics --- Science --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer software - Verification.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Warships --- Sailing ships --- Shipbuilding --- Design and construction --- History --- France --- History, Naval --- -Sailing ships --- -Shipbuilding --- -Warships --- -Naval ships --- War-ships --- Government vessels --- Naval architecture --- Ships --- Armored vessels --- Navies --- Naval construction --- Ship-building --- Boatbuilding --- Shipyards --- Sailing vessels --- Tall ships --- Sailboats --- -History --- -Design and construction --- -History, Naval --- -Theses --- -France --- Pʻŭrangsŭ --- Frankrig --- Francja --- Frant︠s︡ii︠a︡ --- Prantsusmaa --- Francia (Republic) --- Tsarfat --- Tsorfat --- Franḳraykh --- Frankreich --- Fa-kuo --- Faguo --- Франция --- French Republic --- République française --- Peurancih --- Frankryk --- Franse Republiek --- Francland --- Frencisc Cynewīse --- فرنسا --- Faransā --- Franza --- Republica Franzesa --- Gallia (Republic) --- Hyãsia --- Phransiya --- Fransa --- Fransa Respublikası --- Franse --- Францыя --- Frantsyi︠a︡ --- Французская Рэспубліка --- Frantsuzskai︠a︡ Rėspublika --- Parancis --- Pransya --- Franis --- Francuska --- Republika Francuska --- Bro-C'hall --- Френска република --- Frenska republika --- França --- República Francesa --- Pransiya --- Republikang Pranses --- Γαλλία --- Gallia --- Γαλλική Δημοκρατία --- Gallikē Dēmokratia --- فرانسه --- Farānsah --- צרפת --- רפובליקה הצרפתית --- Republiḳah ha-Tsarfatit --- פראנקרייך --- 法国 --- 法蘭西共和國 --- Falanxi Gongheguo --- フランス --- Furansu --- フランス共和国 --- Furansu Kyōwakoku --- Francija --- Ranska --- Frankrike --- Naval ships --- Theses --- 17th century --- 18th century --- History [Naval ] --- Warships - France - Design and construction - History - 17th century --- Warships - France - Design and construction - History - 18th century --- Sailing ships - France - History - 17th century --- Sailing ships - France - History - 18th century --- Shipbuilding - France - History - 17th century --- Shipbuilding - France - History - 18th century --- France - History, Naval - 17th century --- France - History, Naval - 18th century

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Shipbuilding --- Warships --- History. --- Design and construction. --- -Warships --- -Naval ships --- War-ships --- Government vessels --- Naval architecture --- Ships --- Armored vessels --- Navies --- Naval construction --- Ship-building --- Boatbuilding --- Shipyards --- History --- Design and construction --- France. Marine --- -France. Marine --- -History --- -France --- France --- Rochefort (France) --- -History, Naval --- Theses --- -Rochefort, France --- Rochefort-sur-Mer (France) --- Pʻŭrangsŭ --- Frankrig --- Francja --- Frant︠s︡ii︠a︡ --- Prantsusmaa --- Francia (Republic) --- Tsarfat --- Tsorfat --- Franḳraykh --- Frankreich --- Fa-kuo --- Faguo --- Франция --- French Republic --- République française --- Peurancih --- Frankryk --- Franse Republiek --- Francland --- Frencisc Cynewīse --- فرنسا --- Faransā --- Franza --- Republica Franzesa --- Gallia (Republic) --- Hyãsia --- Phransiya --- Fransa --- Fransa Respublikası --- Franse --- Францыя --- Frantsyi︠a︡ --- Французская Рэспубліка --- Frantsuzskai︠a︡ Rėspublika --- Parancis --- Pransya --- Franis --- Francuska --- Republika Francuska --- Bro-C'hall --- Френска република --- Frenska republika --- França --- República Francesa --- Pransiya --- Republikang Pranses --- Γαλλία --- Gallia --- Γαλλική Δημοκρατία --- Gallikē Dēmokratia --- فرانسه --- Farānsah --- צרפת --- רפובליקה הצרפתית --- Republiḳah ha-Tsarfatit --- פראנקרייך --- 法国 --- 法蘭西共和國 --- Falanxi Gongheguo --- フランス --- Furansu --- フランス共和国 --- Furansu Kyōwakoku --- Francija --- Ranska --- Frankrike --- History, Naval --- Naval ships --- France. --- Rochefort, France --- History, Naval. --- Rochefort (Charente-Maritime) --- Shipbuilding - France - Rochefort - History. --- Warships - France - Design and construction. --- Bibliotheque de l'institut de france (paris) --- Navigation --- Construction navale --- Rochefort (france) --- Commerce exterieur --- Conditions economiques --- Histoire --- 17e-18e siecles

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Architectural drawing --- Architecture, Baroque --- Dessin d'architecture --- Architecture baroque --- Catalogs --- Catalogues --- Cotte, Robert de, --- Cotte, Robert de, 1656-1735 --- Private collections --- 769.04:72 --- 72.021.22 --- 769 <44 PARIS> --- -Architectural drawing --- -Architecture, Baroque --- -Baroque architecture --- Drawing, Architectural --- Plans --- Architectural design --- Communication in architectural design --- Drawing --- Mechanical drawing --- Prentenverzamelingen in de grafische kunsten. Iconografie. Iconologie-:-Architectuur. Bouwkunst --- Architectuurtekeningen. Werktekeningen. Reconstructietekeningen --- Prentenverzamelingen--Frankrijk--PARIS --- -Cotte, Robert de --- -Mansart, Jules Hardouin --- Cotte, Robert de --- Art collections --- Bibliotheque nationale de France. Departement des estampes et de la photographie --- -Prentenverzamelingen in de grafische kunsten. Iconografie. Iconologie-:-Architectuur. Bouwkunst --- 769 <44 PARIS> Prentenverzamelingen--Frankrijk--PARIS --- 72.021.22 Architectuurtekeningen. Werktekeningen. Reconstructietekeningen --- 769.04:72 Prentenverzamelingen in de grafische kunsten. Iconografie. Iconologie-:-Architectuur. Bouwkunst --- Hardouin-Mansart, Jules --- -72.021.22 Architectuurtekeningen. Werktekeningen. Reconstructietekeningen --- Baroque architecture --- Mansart, Jules Hardouin, --- H.-Mansard, J. --- Hardouin-Mansart, Jules, --- Mansard, Jules Hardouin, --- Mansart, J. H. --- -Mansart, Jules Hardouin, --- De Cotte, Robert, --- Bibliothèque nationale de France. --- Bibliothèque nationale (France). --- Bibliothèque nationale de France --- Architecture [Baroque ] --- France --- 17th century --- 18th century --- Catalogs. --- Architecture, Baroque - France - Catalogs. --- Architectural drawing - France - 17th century - Catalogs. --- Architectural drawing - France - 18th century - Catalogs. --- Architectural drawing - Private collections - France - Paris - Catalogs. --- Architectural drawing - France - Paris - Catalogs.